عدد الكتب: 21 - 25 /25
Recent Trends in Algebraic Development Techniques
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...
اقرأ المزيد
Reversible Computation
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
اقرأ المزيد
Shared Memory Parallel Programming with Open MP
Contributors to the WOMPAT 2004 OMPlab included IBM, Intel, Sun, the University of Tennessee, NASA, the University of Greenwich, ...
اقرأ المزيد
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
اقرأ المزيد
Supercomputing
This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
اقرأ المزيد
